#include <stdlib.h>
#include <stdio.h>
#include <string.h>

int main()
{
	char a[] = "123";
	printf("%d%s\n", strlen(a), a);
	getchar();
	return 0;
}